Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·23h
🔗Parser Combinators
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
😴Lazy Evaluation
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·6h·
Discuss: Hacker News
🚫Branch-Free Programming
Flag this post
Why DFS Topological Sort Writes Nodes on Backtracking
dev.to·9h·
Discuss: DEV
➡️Arrows
Flag this post
De Bruijn Numerals
text.marvinborner.de·1d·
Discuss: Hacker News
➡️Arrows
Flag this post
Issue 496
haskellweekly.news·1d
λHaskell
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·4h·
Discuss: r/golang
🔵Clojure
Flag this post
Wednesday’s Trailheads
scattershot.blog·1d
🧭Outdoor Navigation
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·2d·
Discuss: r/javascript, r/programming
➡️Arrows
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·12h·
Discuss: Lobsters, Hacker News
λHaskell
Flag this post
Transition to Collective Motion in Nonreciprocal Active Matter: Coarse Graining Agent-Based Models into Fluctuating Hydrodynamics
journals.aps.org·1d
📐Stochastic Calculus
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·2h·
Discuss: Hacker News
📦Cabal
Flag this post
The Structure of Data
theprogrammersparadox.blogspot.com·7h·
Discuss: theprogrammersparadox.blogspot.com
🌲Persistent Data Structures
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·2d·
Discuss: Substack
🎓Scheme
Flag this post
The 5 GitHub Repositories Every Prompt Engineer Should Bookmark
amzn.to·39m·
Discuss: DEV
👀Code Reviews
Flag this post
New to steam deck & feeling overwhelmed.
i.redd.it·23h·
Discuss: r/SteamDeck
🌿Branch Tables
Flag this post
To Affinity and Beyond
matthiasott.com·18h·
Discuss: Hacker News
🪄Magit
Flag this post
Magisterium
isaacbowen.com·9h·
Discuss: Hacker News
🌪️Chaos Engineering
Flag this post
A prvalue is not a temporary
blog.knatten.org·19h·
Discuss: Hacker News
🚫Branch-Free Programming
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·9h·
Discuss: Hacker News
🔗Parser Combinators
Flag this post